Hardware Testing, Instruction Validation, Security Research, Open Architecture

Signed and Dangerous: BYOVD Attacks on Secure Boot
binarly.io·20h
🔒Secure Boot
4-bit Single Board Computer Based on the Intel 4004 Microprocessor
hackaday.com·4h·
Discuss: Hacker News
🖥️Hardware Architecture
Intel processors crashing Unreal engine games (and others)
forums.anandtech.com·1d
🧪Hardware Fuzzing
Performant Full-Disk Encryption on a Raspberry Pi, but Foiled by Twisty UARTs
changelog.complete.org·6h
🔌Single Board PC
Auto-Magic: Generating Function Stubs with Evolutionary Algorithms
dev.to·14h·
Discuss: DEV
Proof Automation
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·9h·
Discuss: Hacker News
💧Liquid Types
August 2025 Detection Highlights: 9 New VTIs, 20+ YARA Rules, and More Advanced Malware Insights
vmray.com·10h
🦠Malware Analysis
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·13h·
SIMD Vectorization
Running AFM-4.5B on Intel CPUs with OpenVINO
julsimon.medium.com·10h
🦾ARM Cortex-M
Operating System in 1,000 Lines | OS in 1,000 Lines
1000os.seiya.me·14h
🔩Systems Programming
How I Turned a $4 Microcontroller into a Rubber Ducky
infosecwriteups.com·1d
🔌Single Board PC
Apple’s Big Bet to Eliminate the iPhone’s Most Targeted Vulnerabilities
wired.com·6h·
Discuss: r/technews
🏷️Memory Tagging
When Kernel Comments Get Weird: The Tale of `drivers/char/mem.c`
elisa.tech·3d
🔍eBPF
Architecting Precision: Breakthrough Frameworks Redefine Systems and Data Integration
hackernoon.com·16h
🔧KAITAI
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·2d·
Discuss: Hacker News
🔒Secure Boot
Renesas RL78/L23 16-bit MCU features segment LCD interface, SMS for low-power HMI systems
cnx-software.com·7h
🔌Microcontrollers
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·2d·
Discuss: Hacker News
Homebrew CPUs
Improving state machine code generation
trifectatech.org·2d·
Discuss: r/rust
🚀Compiler Optimizations
Defeating Nondeterminism in LLM Inference
simonwillison.net·13h
🤖Lisp Machines
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai·7h·
Discuss: Hacker News
⚙️Proof Engineering